Boolean differential equations: A common model for classes, lattices, and arbitrary sets of Boolean functions
نویسندگان
چکیده
منابع مشابه
Propagation Models and Fitting Them for the Boolean Random Sets
In order to study the relationship between random Boolean sets and some explanatory variables, this paper introduces a Propagation model. This model can be applied when corresponding Poisson process of the Boolean model is related to explanatory variables and the random grains are not affected by these variables. An approximation for the likelihood is used to find pseudo-maximum likelihood esti...
متن کاملDerivative Operations for Lattices of Boolean Functions
This paper explores derivative operations of the Boolean differential calculus for lattices of Boolean functions. Such operations are needed to design circuits with short delay and low power consumption [3] as well as to calculate minimal complete sets of fitting test patterns [4]. It will be shown that each derivative operation of a lattice of Boolean functions creates again a lattice of Boole...
متن کاملBoolean Differential Equations
The expressiveness of Boolean Algebras is significantly extended by the Boolean Differential Calculus (BDC). The additionally defined differentials of Boolean variables, differentials and further differential operators of Boolean functions as well as several derivative operations of Boolean functions allow to model changes of function values together with changes of the values of variables and ...
متن کاملSparse Boolean equations and circuit lattices
A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard problem in the cryptanalysis of modern ciphers. In this paper we study new properties of the Agreeing Algorithm, which was earlier designed to solve such equations. Then we show that mathematical description of the Algorithm is...
متن کاملNew Results for Sets of Boolean Functions
Traditionally Sum-Of-Products (SOPs) have been studied as expressions of Boolean functions. It has been shown by Sasao in [7] that Exclusive-or-Sum-Of-Products (ESOPs) are more compact representations of Boolean functions than SOPs. The problem to identify an exact minimal ESOP of a Boolean function is despite of some partial results still unsolved. Our new results rely on recently detected pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Facta universitatis - series: Electronics and Energetics
سال: 2015
ISSN: 0353-3670,2217-5997
DOI: 10.2298/fuee1501051s